Câu ví dụ
- This is known as the Sobolev trace embedding theorem.
Định lý Nhúng (The Sobolev imbedding Theorem). - However, the Whitney embedding theorem asserts every surface can in fact be embedded homeomorphically into Euclidean space, in fact into E4: The extrinsic and intrinsic approaches turn out to be equivalent.
Tuy nhiên, định lý nhúng Whitney khẳng định rằng mọi mặt đều có thể nhúng đồng phôi vào một không gian Euclide, trong không gian E4: Cách định nghĩa ngoại hàm và nội tại là tương đương với nhau. - Among the audience at his talk at Princeton were John Ball, Andrew Wiles, John Forbes Nash, Jr., who had proved the Riemannian embedding theorem, and John Conway, the inventor of the cellular automaton game Life.
Trong số những thính giả tham dự bài giảng của anh ở Princeton có John Ball , Andrew Wiles , John Forbes Nash , Jr., người đã chứng minh định lý nhúng Riemann , và John Conway, người đã phát minh ra cellular automata game Life (?) . - Among the audience at his talk at Princeton were John Ball, Andrew Wiles, John Forbes Nash, Jr., who had proved the Riemannian embedding theorem, and John Conway, the inventor of the cellular automaton game Life.
Trong số những khán giả tham gia buổi giảng của anh ở Princeton có mặt John Ball, Andrew Wiles, John Forbes Nash, Jr., người đã chứng minh định lý [Riemannian embedding theorem], và and John Conway, người đã phát minh ra trò chơi tế bào tự nhân tên Life. - (In Conway’s view, Nash’s Nobel work is less interesting than the deep and difficult, albeit less useful, Nash embedding theorem, which states that every Riemann manifold can be isometrically embedded in Euclidean space.)
(Theo quan điểm của Conway, công trình Nobel của Nash ít thú vị hơn so với định lý nhúng sâu và khó, mặc dù ít hữu ích hơn, trong đó tuyên bố rằng mọi đa tạp Riemann đều có thể được nhúng một cách định lượng vào không gian Euclide.)
